Lekcja: "Logika, algebra Boole`a, arytmetyka cyfrowa - część II"
Bramka NOT (negacja)
p
p
0
1
1
0
Tablica prawdy
Symbol negacji jako bramki logicznej
Negacja (inaczej zaprzeczenie) to zdanie mające postać nieprawda, że x, gdzie x jest zdaniem. W rachunku zdań negacja zapisywana jest jako: p (lub ~p).
Negację można zdefiniować ściślej jako jednoargumentowe działanie określone w zbiorze zdań, które każdemu zdaniu x przyporządkowuje zdanie nieprawda, że x. Negację zdania x uważa się za prawdziwą, gdy zdanie p jest fałszywe, zaś za fałszywą, gdy zdanie p jest prawdziwe.